Prove (sin x)